Skip to content
This repository has been archived by the owner on May 31, 2020. It is now read-only.

Remove unneeded cast to org/python/types/Int #865

Merged
merged 1 commit into from Jul 4, 2018
Merged

Remove unneeded cast to org/python/types/Int #865

merged 1 commit into from Jul 4, 2018

Conversation

patiences
Copy link
Contributor

@patiences patiences commented Jul 3, 2018 •
edited

The static method org.python.types.Int.getInt() returns a org/python/types/Int, so the CHECKCAST operation is unnecessary.

Related to #825

freakboy3742
freakboy3742 approved these changes Jul 4, 2018
View reviewed changes
Copy link
Member

@freakboy3742 freakboy3742 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@freakboy3742 freakboy3742 merged commit db2a2be into beeware:master Jul 4, 2018
@patiences patiences deleted the remove-unneeded-cast branch August 2, 2018 13:52
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@freakboy3742 freakboy3742 freakboy3742 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@patiences @freakboy3742